$\forall$$T$:Type, $L$:($T$ List), $P$:($T$$\rightarrow$prop\{i:l\}). l\_exists($L$; $T$; $x$.$P$($x$)) $\in$ prop\{i:l\}